A verification system for interval-based specification languages with its application to simulink

Ph.DDOCTOR OF PHILOSOPH

A formal framework for modeling and validating Simulink diagrams

10.1007/s00165-009-0108-9Formal Aspects of Computing215451-483FACM

Compressed Air Energy Storage

ústav energetik

Job Satisfaction Among Methadone Maintenance Treatment Clinic Service Providers in Jiangsu, China: A Cross-sectional Survey.

ObjectiveService providers' job satisfaction is critical to the stability of the work force and thereby the effectiveness of methadone maintenance treatment (MMT) programs. This study aimed to explore MMT clinic service providers' job satisfaction and associated factors in Jiangsu, China.MethodsThis secondary study used baseline data of a randomized interventional trial implemented in Jiangsu, China. A survey was conducted among 76 MMT service providers using the computer-assisted self-interview (CASI) method. Job satisfaction responses were assessed via a 30-item scale, with a higher score indicating a higher level of job satisfaction. Perceived institutional support and perceived stigma due to working with drug users were measured using a 9-item scale. Correlation and multiple linear regression analyses were performed to identify factors associated with job satisfaction.ResultsCorrelation analyses found a significant association between job satisfaction and having professional experience in the prevention and control of HIV, other sexually transmitted infections, or other infectious diseases (P = 0.046). Multiple regression analyses revealed that working at MMT clinics affiliated with Center for Disease Control and Prevention sites was associated with a lower level of job satisfaction (P = 0.014), and perception of greater institutional support (P = 0.001) was associated with a higher level of job satisfaction.ConclusionJob satisfaction among MMT clinic service providers was moderate in our study. Our findings suggest that institutional support for providers should be improved, and that acquisition of additional expertise should be encouraged

Hapln2 in neurological diseases and its potential as therapeutic target

Hyaluronan and proteoglycan link protein 2 (Hapln2) is important for the binding of chondroitin sulfate proteoglycans to hyaluronan. Hapln2 deficiency leads to the abnormal expression of extracellular matrix (ECM) proteins and dysfunctional neuronal conductivity, demonstrating the vital role of Hapln2 in these processes. Studies have revealed that Hapln2 promotes the aggregation of α-synuclein, thereby contributing to neurodegeneration in Parkinson’s disease (PD), and it was recently suggested to be in intracellular neurofibrillary tangles (NFTs). Additionally, the expression levels of Hapln2 showed lower in the anterior temporal lobes of individuals with schizophrenia than those of healthy subjects. Together, these studies implicate the involvement of Hapln2 in the pathological processes of neurological diseases. A better understanding of the function of Hapln2 in the central nervous system (CNS) will provide new insights into the molecular mechanisms of these diseases and help to establish promising therapeutic strategies. Herein, we review the recent progress in defining the role of Hapln2 in brain physiology and pathology